Constraint inference - PDFSEARCH.IO - Document Search Engine

Constraint inference
Results: 52

#	Item
31	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
32	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:56:08 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
33	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
34	Part of Speech Tagging from a Logical Point of View Torbjorn Lager1 and Joakim Nivre2 1 Uppsala University, Department of Linguistics, [removed] Add to Reading List Source URL: www.ling.gu.se Language: English - Date: 2003-08-18 05:17:07 Knowledge Part-of-speech tagging Brill tagger Hidden Markov model Constraint Grammar Inference Viterbi algorithm Ontology Modal logic Science Markov models Logic
35	Distributed Anytime MAP Inference Joop van de Ven Australian Centre for Field Robotics School of Information Technologies The University of Sydney Add to Reading List Source URL: www-personal.acfr.usyd.edu.au Language: English - Date: 2015-01-05 23:35:41 Applied mathematics Dantzig–Wolfe decomposition Linear programming Decomposition method Algorithm Randomized rounding Simplex algorithm Constraint satisfaction Belief propagation Mathematical optimization Mathematics Operations research
36	SOLVING THE SATISFIABILITY PROBLEM USING MESSAGE-PASSING TECHNIQUES S. J. Pumphrey, May[removed]Part III Physics Project Report) A Bayesian message-passing technique, the sum-product algorithm, is described and applied to Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2001-06-07 06:04:05 Constraint programming Probability theory Boolean satisfiability problem Electronic design automation Logic in computer science Local search Bayesian inference Algorithm Conjunctive normal form Mathematics Theoretical computer science Applied mathematics
37	Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-06-21 21:27:36 Computing Local consistency Constraint satisfaction Decomposition method Constraint inference Constraint programming Software engineering Computer programming
38	Filtering algorithms for the multiset ordering constraint Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-01-14 01:44:49 Constraint satisfaction problem Constraint inference Constructible universe Constraint satisfaction Constraint logic programming AC-3 algorithm Constraint programming Computing Local consistency
39	Artificial Intelligence[removed]–156 Decomposable constraints ✩ Ian Gent a , Kostas Stergiou b,∗ , Toby Walsh c a APES Research Group, School of Computer Science, University of St Andrews, Scotland, UK b APE Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:51:04 Artificial intelligence Local consistency Constraint satisfaction problem Constraint satisfaction Constraint inference Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
40	2014 IEEE 26th International Conference on Tools with Artificial Intelligence Quality over Quantity in Soft Constraints Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif Institute for Software & Systems Engineering Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:11 Constraint optimization Local consistency Semiring Constraint satisfaction Artificial intelligence Mathematics Constraint inference Constraint programming Computing Constraint satisfaction problem

UPDATE